Skip to content

Comments

Code editor#109

Merged
RemDelaporteMathurin merged 14 commits intomainfrom
code-editor
Aug 6, 2025
Merged

Code editor#109
RemDelaporteMathurin merged 14 commits intomainfrom
code-editor

Conversation

@RemDelaporteMathurin
Copy link
Collaborator

@RemDelaporteMathurin RemDelaporteMathurin commented Aug 5, 2025

This PR adds a code editor in addition to the existing global variables definition system.

image

Thanks to this, we'll be able to add the ODE block more easily!

@RemDelaporteMathurin RemDelaporteMathurin merged commit 78755af into main Aug 6, 2025
3 checks passed
@RemDelaporteMathurin RemDelaporteMathurin deleted the code-editor branch August 6, 2025 01:00
@github-project-automation github-project-automation bot moved this from In progress to Done in PathView release Aug 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant